typedef Foo = Array<String, default>
function main() {}
